This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suiteThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Lire la suiteThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Lire la suiteThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lire la suiteThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suiteThis book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...
Lire la suiteIt is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suiteThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lire la suiteThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Lire la suiteVBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from ...
Lire la suite